Almost All Functions Require Exponential Energy
نویسندگان
چکیده
One potential method to attain more energy-efficient circuits with the current technology is Near-Threshold Computing, which means using less energy per gate by designing the supply voltages to be closer to the threshold voltage of transistors. However, this energy savings comes at a cost of a greater probability of gate failure, which necessitates that the circuits must be more fault-tolerant, and thus contain more gates. Thus achieving energy savings with Near-Threshold Computing involves properly balancing the energy used per gate with the number of gates used. The main result of this paper is that almost all Boolean functions require circuits that use exponential energy, even if allowed circuits using heterogeneous supply voltages. This is not an immediate consequence of Shannon’s classic result that almost all functions require exponential sized circuits of faultless gates because, as we show, the same circuit layout can compute many different functions, depending on the value of the supply voltages. The key step in the proof is to upper bound the number of different functions that one circuit layout can compute. We also show that the Boolean functions that require exponential energy are exactly the Boolean functions that require exponentially many faulty gates. ? This material is based upon work supported by the National Science Foundation Graduate Research Fellowship under Grant No. DGE-1247842. E-mail: [email protected]. ?? E-mail: [email protected]. ? ? ? Supported in part by NSF grants CCF-1115575, CNS-1253218, CCF-1421508, and an IBM Faculty Award. E-mail: [email protected]. † Work done while at the University of Pittsburgh. E-mail: [email protected]. 2 Neal Barcelo, Michael Nugent, Kirk Pruhs, and Michele Scquizzato
منابع مشابه
On the Symmetry of Arithmetical Functions
We study the symmetry in short intervals of arithmetic functions with non-negative exponential sums. 1. Introduction and statement of the results. We pursue the study of the symmetry in (almost all) short intervals of arithmetical functions f (see [C1]), where this time we give (non-trivial) results for a new class of such (real) f ; the key-property they have is a non-negative exponential sum ...
متن کاملA Note on Amortized Space Complexity
In this note, we show that while almost all functions require exponential size branching programs to compute, for all functions f there is a branching program computing a large number of copies of f which has linear size per copy of f . We then discuss which nonmonotone lower bound approaches for branching programs are ruled out by this result. Acknowledgement: This work was supported by the Si...
متن کاملA Note on Amortized Branching Program Complexity
In this paper, we show that while almost all functions require exponential size branching programs to compute, for all functions f there is a branching program computing a doubly exponential number of copies of f which has linear size per copy of f . This result disproves a conjecture about non-uniform catalytic computation, rules out a certain type of bottleneck argument for proving non-monoto...
متن کاملPresenting a model for Multiple-step-ahead-Forecasting of volatility and Conditional Value at Risk in fossil energy markets
Fossil energy markets have always been known as strategic and important markets. They have a significant impact on the macro economy and financial markets of the world. The nature of these markets are accompanied by sudden shocks and volatility in the prices. Therefore, they must be controlled and forecasted by using appropriate tools. This paper adopts the Generalized Auto Regressive Condition...
متن کاملExponential membership function and duality gaps for I-fuzzy linear programming problems
Fuzziness is ever presented in real life decision making problems. In this paper, we adapt the pessimistic approach tostudy a pair of linear primal-dual problem under intuitionistic fuzzy (I-fuzzy) environment and prove certain dualityresults. We generate the duality results using exponential membership and non-membership functions to represent thedecision maker’s satisfaction and dissatisfacti...
متن کامل